gcc47 doesn't exist. use gcc44