make commands more suitable for bob.bio and bob.pad

4 jobs for small in 15 minutes and 22 seconds (queued for 5 seconds)
Status Job ID Name Coverage
  Build
passed #140405
docker
build_linux_27

00:15:18

86.0%
passed #140406
docker
build_linux_36

00:15:15

86.0%
passed #140407
macosx
build_macosx_27

00:08:04

86.0%
passed #140408
macosx
build_macosx_36

00:06:49

86.0%