A couple of tweaks for stricer compiler settings