dev-build.py: support `time` binary that doesn't have `-f` (e.g. OS X)
dev-build.py: support `time` binary that doesn't have `-f` (e.g. OS X)

elidupree/Lasercake,elidupree/Lasercake,Lasercake/Lasercake,idupree/Lasercake,idupree/Lasercake,elidupree/Lasercake,elidupree/Lasercake,idupree/Lasercake,elidupree/Lasercake,idupree/Lasercake,idupree/Lasercake,elidupree/Lasercake,idupree/Lasercake,idupree/Lasercake,Lasercake/Lasercake,Lasercake/Lasercake,elidupree/Lasercake,Lasercake/Lasercake,Lasercake/Lasercake