Cleaning up the gcc priority

This should at the end fix issue #169