input: added check for file type
makefile: added -Og (new in gcc 4.8) and -ggdb (for better debugging)
backend: fixed wrong output filename