# Dummy makefile so things work on non-GNU make