Currently, the makefile fails catastrophically if the build directory contains
spaces or quotes, so we better detect them early.