Making sure bpm recompiles after every bpm on

and work okay even on systems where /bin/sh isn't bash.