set COREDIR for dev_build so developers don't need to use --corelib