fix gcc invocation for ubuntu 12.04

Closes #1