remove BEL_PATHS check; validate before compile

Check the FILE_OPTIONS array for compilation and fail if it is empty.
This can indicate that BEL_PATHS wasn't configured in either env.sh or
before-compile.sh.