Make F12 work on Linux, and add a make shell script for Mono