# nothing to do here, use the standard options from the Makefile in the source directory
